منابع مشابه
Constructive points of Powerlocales
Results of Bunge and Funk and of Johnstone, providing constructively sound descriptions of the global points of the lower and upper powerlocales, are extended here to describe the generalized points and proved in a way that displays in a symmetric fashion two complementary treatments of frames: as suplattices and as preframes. We then also describe the points of the Vietoris powerlocale. In eac...
متن کاملGeneralized powerlocales via relation lifting
This paper introduces an endofunctor VT on the category of frames, parametrized by an endofunctor T on the category Set that satisfies certain constraints. This generalizes Johnstone’s construction of the Vietoris powerlocale, in the sense that his construction is obtained by taking for T the finite covariant power set functor. Our construction of the T -powerlocale VTL out of a frame L is base...
متن کاملLocalic completion of generalized metric spaces II: Powerlocales
The work investigates the powerlocales (lower, upper, Vietoris) of localic completions of generalized metric spaces. The main result is that all three are localic completions of generalized metric powerspaces, on the Kuratowski finite powerset. Applications: (1) A localic completion is always open, and is compact iff its generalized metric space is totally bounded. (2) The Heine-Borel Theorem i...
متن کاملPhenomenology of love: The Destructive and Constructive Nature of Love
Love, this eminent humane experience, has been explored not only by writers and poets, but also by philosophers, psychologists and even experimental scientists. This paper aims to discuss a novel aspect in phenomenology of love, as the concept of destructive and constructive nature of love, which is to the best of our knowledge, presented for the first time. The fundamental idea of this paper w...
متن کاملConstructive Interactions Constructive Interactions
The new paradigm of “knowledge construction using experiential based and collaborative learning approaches” is an outstanding opportunity for interdisciplinary research. This document is an attempt to introduce and exemplify as much as possible using the lexicon of “social sciences”, considerations and tools belonging to “artificial intelligence” (e.g.: the machine learning tradition). In the p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Proceedings of the Cambridge Philosophical Society
سال: 1997
ISSN: 0305-0041,1469-8064
DOI: 10.1017/s0305004196001636